<!DOCTYPE html>
<html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-0 vector-toc-not-available vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-0 skin-theme-clientpref-day vector-sticky-header-enabled" lang="de" dir="ltr"><head>
<meta charset="UTF-8">
<title>Allen Emerson</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/png" href="./_res_/favicon.png">
<link rel="canonical" href="https://de.wikipedia.org/wiki/Allen_Emerson"> <link href="./_mw_/ext.cite.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.wikimediamessages.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link href="./_mw_/ext.gadget.citeRef.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.defaultPlainlinks.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonHide.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonLayout.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonStyle.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiDarkmode.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiResponsive.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.specialSearch.css" rel="stylesheet" type="text/css">
<link rel="stylesheet" type="text/css" href="./_mw_/site.styles.css">
<link rel="stylesheet" type="text/css" href="./_mw_/noscript.css">
<link rel="stylesheet" type="text/css" href="./_res_/footer.css">
<link rel="stylesheet" type="text/css" href="./_res_/vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Allen_Emerson rootpage-Allen_Emerson skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Allen Emerson</span></h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="contentSub">
<div id="mw-content-subtitle"></div>
</div>
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr">
<p><b>Ernest Allen Emerson</b> (* <a href="2._Juni" title="2. Juni">2. Juni</a> <a href="1954" title="1954">1954</a> in <a href="Dallas" title="Dallas">Dallas</a>; † <a href="15._Oktober" title="15. Oktober">15. Oktober</a> <a href="2024" title="2024">2024</a><sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup>) war ein <a href="Vereinigte_Staaten" title="Vereinigte Staaten">US-amerikanischer</a> <a href="Informatik" title="Informatik">Informatiker</a> und <a href="Turing_Award" title="Turing Award">Turing-Preisträger</a>. Zusammen mit <a href="Edmund_M._Clarke" title="Edmund M. Clarke">Edmund M. Clarke</a> leistete er Pionierarbeit auf dem Gebiet der <a href="Modellpr%C3%BCfung" class="mw-redirect" title="Modellprüfung">Modellprüfung</a>.<sup id="cite_ref-ACM2008_2-0" class="reference"><a href="#cite_note-ACM2008-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> Emerson war Informatik-Professor an der <a href="University_of_Texas_at_Austin" title="University of Texas at Austin">University of Texas at Austin</a>.
</p><p>Dort machte er 1976 auch seinen <a href="Bachelor" title="Bachelor">Bachelor</a> in Mathematik, und daraufhin 1981 an der <a href="Harvard_University" title="Harvard University">Harvard University</a> seinen <a href="Ph.D." title="Ph.D.">Ph.D.</a> in <a href="Angewandte_Mathematik" title="Angewandte Mathematik">angewandter Mathematik</a>.<sup id="cite_ref-ACM199_03_26_3-0" class="reference"><a href="#cite_note-ACM199_03_26-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup>
</p><p>In Harvard schlug er 1981 zusammen mit seinem Doktorvater Clarke in einem Paper die Modellprüfung zur Verifikation endlicher <a href="Parallele_Programmierung" title="Parallele Programmierung">paralleler Programme</a> vor, inzwischen ein anerkanntes und weit verwendetes Verfahren. Seither trug er zu deren Verbesserung und Vereinfachung bei und arbeitete auch auf den Gebieten der automatischen Programmsynthese, Verifizierung parametrisierter Systeme und Datenstruktur-Beweisen. Er machte auch signifikante Beiträge zur Theorie und Anwendung der temporalen Logik.
</p><p>2007 erhielt Emerson zusammen mit Clarke und dem unabhängig von den beiden ebenfalls an der Modellprüfung arbeitenden <a href="Joseph_Sifakis" title="Joseph Sifakis">Joseph Sifakis</a> den <a href="Turing_Award" title="Turing Award">Turing Award</a>.
Daneben hat Emerson zahlreiche weitere Auszeichnungen erhalten, darunter der <i>Best Software Paper Award</i> der <i>Hawaii International Systems Sciences Conference</i> 1985, der <a href="Association_for_Computing_Machinery" title="Association for Computing Machinery">ACM</a> <i><a href="Paris-Kanellakis-Preis" title="Paris-Kanellakis-Preis">Paris-Kanellakis-Preis</a></i> 1998, der <a href="Carnegie_Mellon_University" title="Carnegie Mellon University">Carnegie Mellon University</a> <i>Allen Newell Award for Research Excellence</i> 1999 und der <a href="IEEE" class="mw-redirect" title="IEEE">IEEE</a> <i>Symposium on Logic in Computer Science Test-of-Time Award</i> 2006.<sup id="cite_ref-emerson_4-0" class="reference"><a href="#cite_note-emerson-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup>
</p><p>Er war Mitglied im redaktionellen Beirat führender Zeitschriften aus dem Bereich der formalen Methoden, darunter Transactions on Computational Logic, Formal Aspects of Computing, und Formal Methods in Systems Design, und den Konferenzprogrammkomitees des International Symposium on Automated Technology for Verification and Analysis und der International Conference on Verification, Model Checking, and Abstract Interpretation. Er ist einer der meistzitierten Informatiker auf <a href="CiteSeer" class="mw-redirect" title="CiteSeer">CiteSeer</a>.<sup id="cite_ref-emerson_4-1" class="reference"><a href="#cite_note-emerson-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup>
</p>
<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>
<ul><li><a rel="nofollow" class="external text" href="http://www.cs.utexas.edu/~emerson/">E. Allen Emersons Website an der University of Texas at Austin</a> (englisch)</li></ul>
<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>
<ol class="references">
<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><span class="cite"><a rel="nofollow" class="external text" href="https://www.acm.org/"><i>Association for Computing Machinery.</i></a><span class="Abrufdatum"> Abgerufen am 18. Oktober 2024</span> (englisch).</span><span style="display: none;" class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rfr_id=info%3Asid%2Fde.wikipedia.org%3AAllen+Emerson&rft.title=Association+for+Computing+Machinery&rft.description=Association+for+Computing+Machinery&rft.identifier=https%3A%2F%2Fwww.acm.org%2F&rft.language=en"> </span></span>
</li>
<li id="cite_note-ACM2008-2"><span class="mw-cite-backlink"><a href="#cite_ref-ACM2008_2-0">↑</a></span> <span class="reference-text"><span class="cite">Staci R. Norman: <a rel="nofollow" class="external text" href="https://web.archive.org/web/20160305014254/https://www.cs.utexas.edu/news-events/news/2008/acm-turing-award-honors-founders-automatic-verification-technology-enables-fas"><i>ACM Turing Award Honors Founders of Automatic Verification Technology That Enables Faster, More Reliable Designs.</i></a> In: <i>Department of Computer Science.</i> The University of Texas at Austin, 2. April 2008, archiviert vom <style data-mw-deduplicate="TemplateStyles:r250917974">
/* start https://de.wikipedia.org/ */
.mw-parser-output .dewiki-iconexternal>a{background-position:center right!important;background-repeat:no-repeat!important}body.skin-minerva .mw-parser-output .dewiki-iconexternal>a{background-image:url("./_mw_/OOjs_UI_icon_external-link-ltr-progressive.svg")!important;background-size:10px!important;padding-right:13px!important}body.skin-timeless .mw-parser-output .dewiki-iconexternal>a,body.skin-monobook .mw-parser-output .dewiki-iconexternal>a{background-image:url("./_mw_/MediaWiki_external_link_icon.svg")!important;padding-right:13px!important}body.skin-vector .mw-parser-output .dewiki-iconexternal>a{background-image:url("./_mw_/Link.ernal-small-ltr-progressive.svg")!important;background-size:0.857em!important;padding-right:1em!important}
/* end https://de.wikipedia.org/ */
</style><span class="dewiki-iconexternal"><a class="external text" href="https://redirecter.toolforge.org/?url=http%3A%2F%2Fwww.cs.utexas.edu%2Fnews-events%2Fnews%2F2008%2Facm-turing-award-honors-founders-automatic-verification-technology-enables-fas">Original</a></span><span>;</span><span class="Abrufdatum"> abgerufen am 19. Oktober 2024</span>.</span><span style="display: none;" class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rfr_id=info%3Asid%2Fde.wikipedia.org%3AAllen+Emerson&rft.title=ACM+Turing+Award+Honors+Founders+of+Automatic+Verification+Technology+That+Enables+Faster%2C+More+Reliable+Designs&rft.description=ACM+Turing+Award+Honors+Founders+of+Automatic+Verification+Technology+That+Enables+Faster%2C+More+Reliable+Designs&rft.identifier=https%3A%2F%2Fweb.archive.org%2Fweb%2F20160305014254%2Fhttps%3A%2F%2Fwww.cs.utexas.edu%2Fnews-events%2Fnews%2F2008%2Facm-turing-award-honors-founders-automatic-verification-technology-enables-fas&rft.creator=Staci+R.+Norman&rft.publisher=The+University+of+Texas+at+Austin&rft.date=2008-04-02&rft.source=http://www.cs.utexas.edu/news-events/news/2008/acm-turing-award-honors-founders-automatic-verification-technology-enables-fas"> </span></span>
</li>
<li id="cite_note-ACM199_03_26-3"><span class="mw-cite-backlink"><a href="#cite_ref-ACM199_03_26_3-0">↑</a></span> <span class="reference-text"><a href="Association_for_Computing_Machinery" title="Association for Computing Machinery">Association for Computing Machinery</a>: <style data-mw-deduplicate="TemplateStyles:r261891140">
/* start https://de.wikipedia.org/ */
.mw-parser-output .webarchiv-memento a{color:inherit}
/* end https://de.wikipedia.org/ */
</style><a rel="nofollow" class="external text" href="https://web.archive.org/web/20110605194419/http://www.acm.org/announcements/kanellakis99.html"><i>Kanellakis Award</i></a> (<span class="webarchiv-memento"><a href="Webarchivierung#Begrifflichkeiten" title="Webarchivierung">Memento</a></span> vom 5. Juni 2011 im <i><a href="Internet_Archive" title="Internet Archive">Internet Archive</a></i>)</span>
</li>
<li id="cite_note-emerson-4"><span class="mw-cite-backlink">↑ <sup><a href="#cite_ref-emerson_4-0">a</a></sup> <sup><a href="#cite_ref-emerson_4-1">b</a></sup></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://www.cs.utexas.edu/~emerson/">E. Allen Emersons Homepage an der University of Texas at Austin</a></span>
</li>
<li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="http://citeseer.ist.psu.edu/mostcited.html">Most cited authors in Computer Science – August 2006 (CiteSeer.Continuity)</a></span>
</li>
</ol>
<style data-mw-deduplicate="TemplateStyles:r260755238">
/* start https://de.wikipedia.org/ */
.mw-parser-output div.klappleiste{border:1px solid var(--dewiki-rahmenfarbe1);clear:both;font-size:95%;box-sizing:border-box;margin-top:1.5em;padding:2px}.mw-parser-output div.klappleiste:after{clear:both;content:"";display:block}.mw-parser-output div.klappleiste-bild{float:left;padding:2px}.mw-parser-output div.klappleiste-kopf{background:var(--dewiki-hintergrundfarbe5);color:var(--color-base,#202122);text-align:center;font-weight:bold}.mw-parser-output div.klappleiste.mw-collapsed .klappleiste-bild{display:none}.mw-parser-output div.klappleiste+div.klappleiste,.mw-parser-output div.klappleiste+link+div.klappleiste,.mw-parser-output div.klappleiste+link+link+div.klappleiste,.mw-parser-output div.klappleiste+link+style+div.klappleiste,.mw-parser-output div.klappleiste+style+div.klappleiste,.mw-parser-output div.klappleiste+style+style+div.klappleiste,.mw-parser-output div.klappleiste+style+link+div.klappleiste{margin-top:-1px}@media screen{html.skin-theme-clientpref-night .mw-parser-output .klappleiste-bild span[typeof="mw:File"]:not(.skin-invert-image) img{background-color:#c8ccd1}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .klappleiste-bild span[typeof="mw:File"]:not(.skin-invert-image) img{background-color:#c8ccd1}}
/* end https://de.wikipedia.org/ */
</style>
<div class="klappleiste mw-collapsible navileiste navigation-not-searchable center" role="navigation">
<div class="klappleiste-kopf">Träger des <a href="Turing_Award" title="Turing Award">Turing Awards</a></div>
<div class="klappleiste-inhalt mw-collapsible-content">
<p>1966: <a href="Alan_J._Perlis" title="Alan J. Perlis">Perlis</a> |
1967: <a href="Maurice_V._Wilkes" title="Maurice V. Wilkes">Wilkes</a> |
1968: <a href="Richard_Hamming" title="Richard Hamming">Hamming</a> |
1969: <a href="Marvin_Minsky" title="Marvin Minsky">Minsky</a> |
1970: <a href="James_H._Wilkinson" title="James H. Wilkinson">Wilkinson</a> |
1971: <a href="John_McCarthy" title="John McCarthy">McCarthy</a> |
1972: <a href="Edsger_W._Dijkstra" title="Edsger W. Dijkstra">Dijkstra</a> |
1973: <a href="Charles_Bachman" title="Charles Bachman">Bachman</a> |
1974: <a href="Donald_E._Knuth" title="Donald E. Knuth">Knuth</a> |
1975: <a href="Allen_Newell" title="Allen Newell">Newell</a>, <a href="Herbert_A._Simon" title="Herbert A. Simon">Simon</a> |
1976: <a href="Michael_O._Rabin" title="Michael O. Rabin">Rabin</a>, <a href="Dana_Scott" title="Dana Scott">Scott</a> |
1977: <a href="John_W._Backus" title="John W. Backus">Backus</a> |
1978: <a href="Robert_Floyd" title="Robert Floyd">Floyd</a> |
1979: <a href="Kenneth_E._Iverson" title="Kenneth E. Iverson">Iverson</a> |
1980: <a href="Tony_Hoare" title="Tony Hoare">Hoare</a> |
1981: <a href="Edgar_F._Codd" title="Edgar F. Codd">Codd</a> |
1982: <a href="Stephen_A._Cook" title="Stephen A. Cook">Cook</a> |
1983: <a href="Ken_Thompson" title="Ken Thompson">Thompson</a>, <a href="Dennis_Ritchie" title="Dennis Ritchie">Ritchie</a> |
1984: <a href="Niklaus_Wirth" title="Niklaus Wirth">Wirth</a> |
1985: <a href="Richard_M._Karp" title="Richard M. Karp">Karp</a> |
1986: <a href="John_E._Hopcroft" title="John E. Hopcroft">Hopcroft</a>, <a href="Robert_Tarjan" title="Robert Tarjan">Tarjan</a> |
1987: <a href="John_Cocke" title="John Cocke">Cocke</a> |
1988: <a href="Ivan_Sutherland" title="Ivan Sutherland">Sutherland</a> |
1989: <a href="William_Kahan" title="William Kahan">Kahan</a> |
1990: <a href="Fernando_Jos%C3%A9_Corbat%C3%B3" title="Fernando José Corbató">Corbató</a> |
1991: <a href="Robin_Milner" title="Robin Milner">Milner</a> |
1992: <a href="Butler_Lampson" title="Butler Lampson">Lampson</a> |
1993: <a href="Juris_Hartmanis" title="Juris Hartmanis">Hartmanis</a>, <a href="Richard_E._Stearns" title="Richard E. Stearns">Stearns</a> |
1994: <a href="Edward_Feigenbaum" title="Edward Feigenbaum">Feigenbaum</a>, <a href="Raj_Reddy" title="Raj Reddy">Reddy</a> |
1995: <a href="Manuel_Blum" title="Manuel Blum">Blum</a> |
1996: <a href="Amir_Pnueli" title="Amir Pnueli">Pnueli</a> |
1997: <a href="Douglas_C._Engelbart" title="Douglas C. Engelbart">Engelbart</a> |
1998: <a href="Jim_Gray" title="Jim Gray">Gray</a> |
1999: <a href="Frederick_P._Brooks" title="Frederick P. Brooks">Brooks</a> |
2000: <a href="Andrew_Yao" title="Andrew Yao">Yao</a> |
2001: <a href="Ole-Johan_Dahl" title="Ole-Johan Dahl">Dahl</a>, <a href="Kristen_Nygaard" title="Kristen Nygaard">Nygaard</a> |
2002: <a href="Ronald_L._Rivest" title="Ronald L. Rivest">Rivest</a>, <a href="Adi_Shamir" title="Adi Shamir">Shamir</a>, <a href="Leonard_Adleman" title="Leonard Adleman">Adleman</a> |
2003: <a href="Alan_Kay" title="Alan Kay">Kay</a> |
2004: <a href="Vinton_G._Cerf" title="Vinton G. Cerf">Cerf</a>, <a href="Robert_E._Kahn" title="Robert E. Kahn">Kahn</a> |
2005: <a href="Peter_Naur" title="Peter Naur">Naur</a> |
2006: <a href="Frances_E._Allen" title="Frances E. Allen">Allen</a> |
2007: <a href="Edmund_M._Clarke" title="Edmund M. Clarke">Clarke</a>, <a class="mw-selflink selflink">Emerson</a>, <a href="Joseph_Sifakis" title="Joseph Sifakis">Sifakis</a> |
2008: <a href="Barbara_Liskov" title="Barbara Liskov">Liskov</a> |
2009: <a href="Charles_P._Thacker" title="Charles P. Thacker">Thacker</a> |
2010: <a href="Leslie_Valiant" title="Leslie Valiant">Valiant</a> |
2011: <a href="Judea_Pearl" title="Judea Pearl">Pearl</a> |
2012: <a href="Silvio_Micali" title="Silvio Micali">Micali</a>, <a href="Shafrira_Goldwasser" title="Shafrira Goldwasser">Goldwasser</a> |
2013: <a href="Leslie_Lamport" title="Leslie Lamport">Lamport</a> |
2014: <a href="Michael_Stonebraker" title="Michael Stonebraker">Stonebraker</a> |
2015: <a href="Whitfield_Diffie" title="Whitfield Diffie">Diffie</a>, <a href="Martin_Hellman" title="Martin Hellman">Hellman</a> |
2016: <a href="Tim_Berners-Lee" title="Tim Berners-Lee">Berners-Lee</a> |
2017: <a href="John_L._Hennessy" title="John L. Hennessy">Hennessy</a>, <a href="David_A._Patterson" title="David A. Patterson">Patterson</a> |
2018: <a href="Geoffrey_Hinton" title="Geoffrey Hinton">Hinton</a>, <a href="Yann_LeCun" title="Yann LeCun">LeCun</a>, <a href="Yoshua_Bengio" title="Yoshua Bengio">Bengio</a> |
2019: <a href="Edwin_Catmull" title="Edwin Catmull">Catmull</a>, <a href="Pat_Hanrahan" title="Pat Hanrahan">Hanrahan</a> |
2020: <a href="Alfred_V._Aho" title="Alfred V. Aho">Aho</a>, <a href="Jeffrey_Ullman" title="Jeffrey Ullman">Ullman</a> |
2021: <a href="Jack_Dongarra" title="Jack Dongarra">Dongarra</a> |
2022: <a href="Robert_Metcalfe" title="Robert Metcalfe">Metcalfe</a> |
2023: <a href="Avi_Wigderson" title="Avi Wigderson">Wigderson</a> |
2024: <a href="Andrew_Barto" title="Andrew Barto">Barto</a>, <a href="Richard_S._Sutton" title="Richard S. Sutton">Sutton</a>
</p>
</div></div>
<div class="hintergrundfarbe1 rahmenfarbe1 navigation-not-searchable normdaten-typ-p" style="border-style: solid; border-width: 1px; clear: left; margin-bottom:1em; margin-top:1em; padding: 0.25em; overflow: hidden; word-break: break-word; word-wrap: break-word;" id="normdaten">
<div style="display: table-cell; vertical-align: middle; width: 100%;">
<div>
Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/1028534892">1028534892</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/nb99152470">nb99152470</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/40252505/">40252505</a></span> | </div>
</div></div>
</div><!--htdig_noindex--><div><div class="zim-footer">
Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-01-18" href="https://de.wikipedia.org/wiki/?title=Allen_Emerson&oldid=252390232">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
<script src="./_webp_/webpHandler.js"></script>
</body></html>